функция, аргументами и значениями к-рой являются истинностные значения. Этот термин употребляют, когда речь идет об интерпретации формализованного логич. языка.
Если W - множество истинностных значений формул данного языка, то П. ф.- это любое отображение вида . Этими функциями интерпретируются пропозициональные связки, позволяющие образовывать из предложений .или формул новые предложения или формулы. При классической двузначной интерпретации множества истинностных значений, т. е. когда W={0,1}, такие функции наз. также функциями алгебры логики. В. Н. Гришин.
Смотреть больше слов в «Математической энциклопедии»
ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ — функция, область значений которой составляют высказывания, обладающие определенным истинностным значением. По своей структ... смотреть
функция, область значений которой составляют высказывания, обладающие определеннымистинностным значением. По своей структуре П. ф. сходна с грамматиче... смотреть
ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ см. в ст. Предикат. Философский энциклопедический словарь. — М.: Советская энциклопедия.Гл. редакция: Л. Ф. Ильич... смотреть
ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ, см. Предикат.
ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ - см. Предикат.
ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ , см. Предикат.
ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ, см. Предикат.
пропозиці́йна фу́нкція
пропозиціональна функція
- см. Предикат.
см. Предикат.